Using a Discrete-Event System Specifications (DEVS) for designing a Modelica compiler
نویسندگان
چکیده
We introduce a new architecture for the design of a tool for modeling and simulation of continuous and hybrid systems. The environment includes a compiler based on Modelica, a modular and a causal standard specification language for physical systems modeling (the tool supports models composed using certain component classes defined in the Modelica Standard Library, and the instantiation, parameterization and connection of these MSL components are described using a subset of Modelica). Models are defined in Modelica and are translated into DEVS models. DEVS theory (originally defined for modeling and simulation of discrete event systems) was extended in order to permit defining these of models. The different steps in the compiling process are show, including how to model these dynamic systems under the discrete event abstraction, including examples of model simulation with their execution results.
منابع مشابه
Experimental Results On the Use of Modelica/CD++
The DEVS formalism was defined as a method for modeling and discrete event systems. DEVS theory evolved and it was recently upgraded in order to permit modeling of continuous and hybrid systems. We have built a compiler of a subset of Modelica, and built a translator into DEVS models. We show how to model these dynamic systems under the discrete event abstraction. Examples of model simulations ...
متن کاملIntroducing Messages in Modelica for Facilitating Discrete-Event System Modeling
The work performed by the authors to provide to Modelica more discrete-event system modeling functionalities is presented. These functionalities include the replication of the modeling capacities found in the Arena environment, the SIMAN language and the DEVS formalism. The implementation of these new functionalities is included in three free Modelica libraries called ARENALib, SIMANLib and DEV...
متن کاملSystem modeling using the Parallel DEVS formalism and the Modelica language
1569-190X/$ see front matter 2010 Elsevier B.V doi:10.1016/j.simpat.2010.03.004 * Corresponding author. Tel.: +34 91 3089469. E-mail addresses: [email protected] (V. Sanz) (S. Dormido). The analysis and identification of the requirements needed to describe P-DEVS models using the Modelica language are discussed in this manuscript. A new free Modelica package, named DEVSLib, is presented. It fac...
متن کاملQuantised State System Simulation in Dymola/Modelica Using the DEVS Formalism
Continuous-time systems can be converted to discreteevent descriptions using the Quantised State Systems (QSS) formalism. Hence it is possible to simulate continuous-time systems using a discrete-event simulation tool, such as a simulation engine based on the DEVS formalism. A new Dymola library, ModelicaDEVS, was developed that implements the DEVS formalism. DEVS has been shown to be efficient...
متن کاملParallel DEVS and Process-Oriented Modeling in Modelica
This manuscript presents a new free Modelica library, named DESLib and composed of four packages: RandomLib, DEVSLib, SIMANLib and ARENALib. DESLib has been designed and implemented to facilitate the description of discrete-event models using the Parallel DEVS formalism (using DEVSLib), and to facilitate the process-oriented modeling of logistic systems (using SIMANLib and ARENALib). SIMANLib a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Advances in Engineering Software
دوره 79 شماره
صفحات -
تاریخ انتشار 2015